Design of Synchronous Action Systems
نویسندگان
چکیده
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action systems is to make a formal description transparent in the sense that its hardware implementation can be obtained by direct mapping. The presented design methodology also allows a postponed decision on the final implementation aspects regarding the architecture (synchronous / asynchronous)
منابع مشابه
Application to Adaptive Control to Synchronous Machine Excitation
Self-tuning adaptive control technique has the advantage of being able to track the system operating conditions so that satisfactory control action can always be produced. Self-tuning algorithms can be implemented easily. Because the power systems are usually time varying non-linear systems and their parameters vary, adaptive controllers are very suitable for power systems. Characteristics of a...
متن کاملComprehensive Design Procedure and Manufacturing of Permanent Magnet Assisted Synchronous Reluctance Motor
Combining the main advantages of the permanent magnet synchronous motors and pure synchronous reluctance motors (SynRM), permanent magnet assisted synchronous reluctance motor (PMaSynRM) has been considered as a promising alternative to the conventional induction motors. In this paper, utilizing a macroscopic design parameter, called insulation ratio along the q-axis, and based on the magnetic ...
متن کاملInner Permanent Magnet Synchronous Machine Optimization for HEV Traction Drive Application in Order to Achieve Maximum Torque per Ampere
Recently, Inner permanent magnet (IPM) synchronous machines have been introduced as a possible traction motor in hybrid electric vehicle (HEV) and traction applications due to their unique merits. In order to achieve maximum torque per ampere (MTPA), optimization of the motor geometry parameters is necessary. This paper Presents a design method to achieve minimum volume, MTPA and minimum ...
متن کاملGeometry optimization of five-phase permanent magnet synchronous motors using Bees algorithm
Among all types of electrical motors, permanent magnet synchronous motors (PMSMs) are reliable and efficient motors in industrial applications. Because of their superiority over other kinds of motors, they are replacing conventional electric motors. On the other hand, high-phase PMSMs are good candidates to be used in certain industrial and military projects such as electric vehicles, spacecraf...
متن کاملSynchronous Pipeline Design in Action Systems
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.
متن کامل